N CASE YOU HAVEN’T SEEN IT YET, GROTHENDIECK STUDIES (PSEUDO) COTOPOS IN PURSUING STACKS is not a valid tag
The format for a tag can be found on the tags explained page. In short:
- 4 symbols long
- using digits and uppercase letters
- excluding the letter O in favour of the digit 0 (except that this rule didn't exist in the very beginning of the Stacks project)
